integral of (cot(x))^2